$\forall$$P$:$\mathbb{P}$, $Q$:($\cap$$x$:$P$.$\mathbb{P}$). Dec($P$) $\Rightarrow$ ($P$ $\Rightarrow$ Dec($Q$)) $\Rightarrow$ Dec($P$ $\Rightarrow$ $Q$)